Logic form - PDFSEARCH.IO - Document Search Engine

Logic form
Results: 545

#	Item
51	CWEC : Struts: Duplicate Validation Forms S tru ts: D u p lica te Va lid a tio n F o rm s M ultiple validation form s with the s am e nam e indic ate that validation logic is not up-to-date. S tru ts: E rro n e o u s v Add to Reading List Source URL: cwe.mitre.org Language: English - Date: 2006-09-13 14:57:23
52	Perspectives in Logic ASL Order Form Perspectives in Mathematical Logic was initiated in 1969 by the Omega Group. Initially it was supported by a grant from the Stiftung Volkswagenwerk and appeared under the auspices of Add to Reading List Source URL: www.aslonline.org Language: English - Date: 2010-07-13 12:44:32 Science Association for Symbolic Logic Mathematical logic Model theory Logic Philosophy Philosophical logic
53	Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies Santiago Figueira Daniel Gor´ın Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2013-08-19 18:50:17 Model theory Logical syntax Philosophical logic Interpretation Entailment First-order logic Prenex normal form Well-formed formula Logical connective Logic Metalogic Formal languages
54	BRICS RS-05-4 Filinski & Rohde: Denotational Aspects of Untyped Normalization by Evaluation BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-04-13 07:44:53 Computer science Models of computation Applied mathematics Logic in computer science Normalisation by evaluation Denotational semantics De Bruijn index Symbol Administrative normal form Theoretical computer science Lambda calculus Programming language semantics
55	"Lessons In Electric Circuits, Volume IV -- Digital" Add to Reading List Source URL: www.ibiblio.org Language: English - Date: 2014-10-19 15:52:16 Mathematical logic Electronic design automation Boolean algebra Binary arithmetic Electronic design Digital electronics Logic gate Binary numeral system Canonical form Electronic engineering Mathematics Algebraic logic
56	Sage Reference Manual: Symbolic Logic Release 6.7 The Sage Development Team Add to Reading List Source URL: doc.sagemath.org Language: English - Date: 2015-06-24 05:21:38 Mathematics Boolean algebra Semantics Logical connectives Tautology Truth table Conjunctive normal form Negation Sage Logic Propositional calculus Mathematical logic
57	Typed Normal Form Bisimulation Soren B. Lassen1 and Paul Blain Levy2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-12-20 12:37:08 Logic in computer science Lambda calculus Process calculi Π-calculus Bisimulation Combinatory logic Fixed-point combinator Sheaf Theoretical computer science Applied mathematics Mathematics
58	The lattice of all clones of self-dual functions in three-valued logic D MITRIY Z HUK? Department of Mathematics and Mechanics, Moscow State University, Russia Received 30 September 2011; In final form 15 August 2012 Add to Reading List Source URL: intsys.msu.ru - Date: 2014-08-12 16:59:39
59	Axiomatizing Complex Concepts from Fundamentals Jerry R. Hobbs and Andrew Gordon University of Southern California Marina del Rey, California, USA No Institute Given Add to Reading List Source URL: people.ict.usc.edu Language: English - Date: 2014-03-10 12:47:56 Natural language processing First-order logic Science Artificial intelligence Logic Knowledge representation Logic form
60	Formulas and Circuits 1 Formulas as circuits Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2012-09-26 17:01:08 Logic Disjunctive normal form Well-formed formula

UPDATE